The dominant language of politics in the United States has been political individualism, with minimal restrictions on property and personal, voluntary conduct. But there are second languages of community that stress cooperation and group action. These second languages include the constitutional tradition for public health. Public health offers a community justification for paternalistic measures that, for example, discourage smoking or require seatbelts.

This paper will introduce the notion of a naming convention and use this paradigm to both develop a new version of the Second Incompleteness Theorem and to describe when an axiom system can partially evade the Second Incompleteness Theorem.

Let us recall that Raphael Robinson's Arithmetic Q is an axiom system that differs from Peano Arithmetic essentially by containing no Induction axioms [13], [18]. We will generalize the semantic-tableaux version of the Second Incompleteness Theorem almost to the level of System Q. We will prove that there exists a single rather long Π 1 sentence, valid in the standard model of the Natural Numbers and denoted as V, such that if α is any finite consistent extension of Q + (...) V then α will be unable to prove its Semantic Tableaux consistency. The same result will also apply to axiom systems α with infinite cardinality when these infinite-sized axiom systems satisfy a minor additional constraint, called the Conventional Encoding Property. Our formalism will also imply that the semantic-tableaux version of the Second Incompleteness Theorem generalizes for the axiom system IΣ 0 , as well as for all its natural extensions. (This answers an open question raised twenty years ago by Paris and Wilkie [15].). (shrink)

In 1981, Paris and Wilkie raised the open question about whether and to what extent the axiom system did satisfy the Second Incompleteness Theorem under Semantic Tableaux deduction. Our prior work showed that the semantic tableaux version of the Second Incompleteness Theorem did generalize for the most common definition of appearing in the standard textbooks.However, there was an alternate interesting definition of this axiom system in the Wilkie–Paris article in the Annals of Pure and Applied Logic 35 , pp. 261–302 (...) which we did not examine in our year-2002 article in the Journal of Symbolic Logic. Our first goal is to show that the incompleteness results of our prior paper can generalize in this alternate context. We will also develop a formal analysis, using a new technique called Passive Induction, that is simpler than the formalism we had used before.A further reason our results are of interest is that we have shown in a companion paper published in Electronic Notes in Theoretical Computer Science 165 , pp. 213–226 that some very unorthodox axiomizations for are anti-thresholds for the Herbrandized version of the Second Incompleteness Theorem. Thus, different axiomizations for have nearly fully opposite incompleteness properties.This paper is self-contained. It will not require a knowledge of our earlier results. (shrink)

Gödel’s Second Incompleteness Theorem states axiom systems of sufficient strength are unable to verify their own consistency. We will show that axiomatizations for a computer’s floating point arithmetic can recognize their cut-free consistency in a stronger respect than is feasible under integer arithmetics. This paper will include both new generalizations of the Second Incompleteness Theorem and techniques for evading it.

With increasing momentum for health care reform, attention is shifting to finance reform that will provide for direct methods for controlling health care spending. This article outlines the two principal paths to direct cost control and outlines a national plan that retains our multiple sources of payment, yet also contains a powerful direct cost control technique: a single fund to finance all health care.

This article will study a class of deduction systems that allow for a limited use of the modus ponens method of deduction. We will show that it is possible to devise axiom systems α that can recognize their consistency under a deduction system D provided that: (1) α treats multiplication as a 3-way relation (rather than as a total function), and that (2) D does not allow for the use of a modus ponens methodology above essentially the levels of Π1 (...) and Σ1 formulae. Part of what will make this boundary-case exception to the Second Incompleteness Theorem interesting is that we will also characterize generalizations of the Second Incompleteness Theorem that take force when we only slightly weaken the assumptions of our boundary-case exceptions in any of several further directions. (shrink)

Perceptual judgments result from a dynamic process, but little is known about the dynamics of number‐line estimation. A recent study proposed a computational model that combined a model of trial‐to‐trial changes with a model for the internal scaling of discrete numbers. Here, we tested a surprising prediction of the model—a situation in which children's estimates of numerosity would be better than those of adults. Consistent with the model simulations, task contexts led to a clear developmental reversal: children made more adult‐like, (...) linear estimates when to‐be‐estimated numbers were descending over trials (i.e., backward condition), whereas adults became more like children with logarithmic estimates when numbers were ascending (i.e., forward condition). In addition, adults’ estimates were subject to inter‐trial differences regardless of stimulus order. In contrast, children were not able to use the trial‐to‐trial dynamics unless stimuli varied systematically, indicating the limited cognitive capacity for dynamic updates. Together, the model adequately predicts both developmental and trial‐to‐trial changes in number‐line tasks. (shrink)

On the unorthodox ways in which people relate to each other.

Book reviewed in this article: Seeking Fair Treatment: From the AIDS Epidemic to National Health Care Reform. By Norman Daniels.

Regulation of the cytoplasmic stability of mRNAs has recetly been identified as a major control mechanism which governs mRNA levels in a variety of eukaryotic systems. In this review we discuss what is known about several experimental systems that exhibit regulated mRNA stability, describe the mechanisms that cells may use to achieve control of mRNA degradation, and suggest areas of future investigation likely to provide new insights into this process.

Some theorists, worried about liberalism’s potential as a foundation for public health ethics, suggest that republicanism provides a better background of justification for public health policies, interventions, etc. In this article, this suggestion is put to the test, and it is argued that (i) contemporary (civic) republicanism and liberalism are not nearly as opposed as it is sometimes suggested, and that (ii) the kind of republicanism which one leading scholar in the field, Bruce Jennings, as an alternative to liberalism, does (...) not reflect the contemporary understanding of republicanism as held by, e.g. Phillip Pettit et al. (shrink)

Over recent decades, public participation in technology assessment has spread internationally as an attempt to overcome or prevent societal conflicts over controversial technologies. One outcome of this new surge in public consultation initiatives has been the increased use of participatory consensus conferences in a number of countries. Existing evaluations of consensus conferences tend to focus on the modes of organization, as well as the outcomes, both procedural and substantial, of the conferences they examine. Such evaluations seem to rest on the (...) assumption that this type of procedure has universally agreed goals and meanings, and that therefore consensus conferences can readily be interpreted and applied across national boundaries. This article challenges this approach to consensus conferences. The core of the article is a study of national differences in ideas about what constitutes legitimate goals for participatory arrangements. The study looks at three consensus conferences on GMOs, which took place in France, Norway, and Denmark. Drawing on this study, the article discusses the ways in which interpretations of the concept of participation; the value attributed to lay knowledge vs. technical expertise; as well as ideas about the role of the layperson, are all questions that prompt entirely different answers from country to country. Further, the article analyses these national differences within a theoretical framework of notions of democratic legitimacy. (shrink)

Participatory methods aim to address controversy over new technologies through public consultation. This paper first describes the emergence of participatory methods within the framework of technology assessment, then provides an overview of the landscape of participatory arrangements; and, finally, discusses participatory methods in relation to different democratic ideals. The article challenges the widespread assumption that participatory methods can function as normatively neutral tools, which can readily be employed in various social and political settings. Through a case study of consensus conferences (...) on GMOs in three European countries, the article investigates the interpretive processes that take place when participatory procedures are applied in new national political settings. (shrink)

If it is true, as suggested by Sir Michael Marmot and other researchers, that status impacts health and therefore accounts for some of the social gradient in health, then it seems to be the case that it would be possible to bring about more equality in health by equalizing status. The purpose of this article is to analyze this suggestion. First, we suggest a working definition of what status precisely is. Second, following a luck egalitarian approach to distributive justice, we (...) consider whether and to which extent individuals are responsible themselves for their position in a status hierarchy. Third, we consider the contours of a difficult question, namely which political measures are feasible in order to reduce health-affective inequalities in status and fourth, whether or to what extent such measures are legitimate. We argue that on the basis of these considerations, we have at least some prima facie reasons to counter (at least some) status inequalities in order to equalize health. (shrink)

Religion has a serious impact on our world. Most people in the world consider themselves to be religious or those to whom religion has a significant impact. It also helps to determine the type of culture that forms political and economic views. In an individual dimension, religion affects human communication. Although it can be viewed as a means by which society controls its members, it is more than just a social and managerial phenomenon. Religion is a human attempt to achieve (...) spirituality. It is our attempt to gain and maintain the meaning of our destination in the world, which sometimes seems pointless. (shrink)

I suggest a description of the theory that I find applicable to understanding self-knowledge. The theory of its own complexity focuses on the structure of individual thoughts about themselves. Own complexity concerns two features of a person's self-determination: the number of social roles that a person has, and the ability of a person to differentiate among these roles. For example, I would be considered a weak bearer of the idea of ​​my own complexity if I considered myself as the bearer (...) of a relatively small number of roles and I would describe existing roles as similar to those that I carry out. I would have a greater degree of my own complexity if I looked at the number of roles I increased and made more distinctions between them. (shrink)

Overestimation of one’s ability to argue their position on socio-political issues may partially underlie the current climate of political extremism in the U.S. Yet very little is known about what factors influence overestimation in argumentation of socio-political issues. Across three experiments, emotional investment substantially increased participants’ overestimation. Potential confounding factors like topic complexity and familiarity were ruled out as alternative explanations. Belief-based cues were established as a mechanism underlying the relationship between emotional investment and overestimation in a measurement-of-mediation and manipulation-of-mediator (...) design. Representing a new bias blind spot, participants believed emotional investment helps them argue better than it helps others ; where in reality emotional investment harmed or had no effect on argument quality. These studies highlight misguided beliefs about emotional investment as a factor underlying metacognitive miscalibration in the context of socio-political issues. (shrink)

What kind of futures does agro-food imaginaries enable and who can get involved in the making of agro-food futures? In this respect, what can the increasingly influential idea of circular economy potentially offer in terms of enabling more sustainable agrofood futures? We approach this task by first outlining the interconnected challenges that the agro-food system is facing related to environmental degradation, economic crises and social problems. Then we consider the way these challenges are being addressed in agro-food studies. We argue (...) that agro-food research in recent years has seen important contributions in relation to studies of alternative food networks and the “quality” turn. These research agendas have challenged the current logic of the food system in terms of offering alternative visions of future development. We highlight two examples from the literature—the eco-economy and the integrated territorial agri-food paradigm—that develop broader frameworks for rethinking the future of the agro-food system and which have distinguished themselves in contrast to the industrialized and globalized conventional food system. We find that with respect to reorienting and reconfiguring economic structures and relations all three approaches share a common goal, but circular economy stands out in relation to the actors that are included by, for example, emphasizing collaborations and partnerships with extant agro-food businesses. Also with regards to scalar politics, it would be prudent to consider the potentials offered by the increasingly influential ideas around circular economy. (shrink)

We do not know how much clinical physicians carrying out clinical trials in oncology and haematology struggle with ethical concerns. To our knowledge, no empirical research exists on these questions in a Nordic context. Therefore, this study aims to learn what kinds of ethical challenges physicians in Sweden, Denmark and Finland face when caring for patients in clinical trials; and what strategies, if any, they have developed to deal with them. The main findings were that clinical cancer trials pose ethical (...) challenges related to autonomy issues, unreasonable hope for benefits and the therapeutic misconception. Nevertheless, some physicians expressed that struggling with such challenges was not of great concern. This conveys a culture of hope where health care professionals and patients uphold hope and mutually support belief in clinical trials. This culture being implicit, physicians need opportunities to deliberately reflect over the characteristics that should constitute this culture. (shrink)

Belongingness is a central biopsychosocial system. Challenges to belongingness (i.e. exclusion/ostracism) engender robust negative effects on affect and cognitions. Whether overinclusion – getting more than one’s fair share of social attention – favourably impacts affect and cognitions remains an open question. This pre-registered meta-analysis includes twenty-two studies (N = 2757) examining overinclusion in the context of the Cyberball task. We found that the estimated overall effect size of overinclusion on positive affect was small but robust, and the effect on fundamental (...) needs cognitions (belongingness, self-esteem, meaningful existence and control) was moderate in size and positive in direction. Notably, the effect sizes of overinclusion were smaller than the corresponding effects of exclusion. Finally, the effects of overinclusion on positive affect were greater for high, as compared to low, socially anxious individuals. Exploring the sequelae of the full range of inclusion experiences – from exclusion to overinclusion – may enrich our understanding of the functioning of the belongingness system as well as its interaction with another central biosocial system – the social status system. (shrink)

This book is the most comprehensive treatment available of one of the most urgent - and yet in some respects most neglected - problems in bioethics: decision-making for incompetents. Part I develops a general theory for making treatment and care decisions for patients who are not competent to decide for themselves. It provides an in-depth analysis of competence, articulates and defends a coherent set of principles to specify suitable surrogate decisionmakers and to guide their choices, examines the value of advance (...) directives, and investigates the role that considerations of cost ought to play in decisions concerning incompetents. Part II applies this theoretical framework to the distinctive problems of three important classes of individuals, many of whom are incompetent: minors, the elderly and psychiatric patients. The authors' approach combines a probing analysis of fundamental issues in ethical theory with a sensitive awareness of the concrete realities of health care institutions and the highly personal and individual character of difficult practical problems. Its broad scope will appeal to health professionals, moral philosophers and lawyers alike. (shrink)

In a range of contexts, individuals arrive at collective decisions by sharing confidence in their judgements. This tendency to evaluate the reliability of information by the confidence with which it is expressed has been termed the ‘confidence heuristic’. We tested two ways of implementing the confidence heuristic in the context of a collective perceptual decision-making task: either directly, by opting for the judgement made with higher confidence, or indirectly, by opting for the faster judgement, exploiting an inverse correlation between confidence (...) and reaction time. We found that the success of these heuristics depends on how similar individuals are in terms of the reliability of their judgements and, more importantly, that for dissimilar individuals such heuristics are dramatically inferior to interaction. Interaction allows individuals to alleviate, but not fully resolve, differences in the reliability of their judgements. We discuss the implications of these findings for models of confidence and collective decision-making. (shrink)